Gnomit search - archer/model checking

Gnomit / Keyword Search / Info

Results 1 - 1 of 1 for:

21,213,375 websites (safe search)

Welcome to Real Intent, Inc.

Real Intent is developing block-to-chip level assertion-based formal verification products that dramatically improve the functional verification efficiency of ...

formal

verification

magellan

EDA

archer

hdl

vhdl

verilog

psl

verifier

Electronic Design Automation

civ

hierarchical

ABV

systemverilog

blacktie

ovl

formal verification

Semi-formal

Functional verification

Model checking

property checking

verix

Functional coverage

0-in

assertion-based verification

Automatic assertion

clock intent

expressed intent

implied intent

Real Intent

static verification

www.realintent.com - 2009-02-06

archery arrow computer security fishing formal methods check employment verification inspection laboratory deer testing bow software verification credit test hunting quality assurance

Keywords may contain spaces.
Separate multiple keywords with commas.

Start a new search.
Enter new keyword(s).

Narrow down your search.
Add keyword(s).

Broaden your search.
Click on Keyword to remove from query.